581. Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
پدیدآورنده: Roberto Giacobazzi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3148
582. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
پدیدآورنده: Radhia Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2694
583. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده: Roberto Giacobazzi )ed.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
584. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
پدیدآورنده: Patrick Cousot...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
724
585. Study and compilation of computer languages
پدیدآورنده: / (by) Y. Wallach
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Compiling (Electronic computers)
رده :
QA
76
.
7
.
W34
586. Swift 3 for Absolute Beginners
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
رده :
QA76
.
73
.
S95
587. Symposium on semantics of algorithmic languages
پدیدآورنده: / edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
رده :
QA
76
.
7
.
S9
1971
588. Synchronous programming of reactive systems
پدیدآورنده: / by Nicolas Halbwachs
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Real-time programming,Programming languages (Electronic computers)
رده :
QA
76
.
54
.
H36
1993
589. Syntax-directed semantics :
پدیدآورنده: Zoltán Fülöp, Heiko Vogler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
590. Syntax of programming languages: theory and practice
پدیدآورنده: Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
591. Systems Programming In Parallel Logic Languages
پدیدآورنده: Ian Foster
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
592. Systems programming in parallel logic languages
پدیدآورنده: / Ian Foster
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Systems programming (Computer science),Parallel processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
593. Systems programming in parallel logic languages
پدیدآورنده: Foster, Ian, 1959-
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Systems programming (Computer science)►Parallel processing (Electronic computers)
رده :
76
.
66
.
F67
594. Systems programming in parallel logic languages
پدیدآورنده: / Ian Foster
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Systems programming (Computer science),Parallel processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
595. Systems programming in parallellogic languages
پدیدآورنده: / Ian Foster,Foster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Systems programming (Computer science),Parallel Processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
596. Systems programming in sparallel logic languages
پدیدآورنده: Foster, Ian, 1959-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Systems programming (Computer science ► Parallel processing (Electronic computers)
رده :
005
F754s
597. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده: J. Diaz, F. Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
598. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده: Neil D. Jones, Steven S. Muchnick
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
599. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده: Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
600. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
